Property-oriented Production of Forged Magnesium Components
نویسندگان
چکیده
منابع مشابه
Simulation Improves Manufacture and Material Handling of Forged Metal Components
As competitive pressures increase within the manufacturing sectors of economies worldwide, and especially within the automotive sub-sector, the importance of achieving operational efficiencies to reduce costs and thence to increase profits while keeping and attracting customers steadily increases. Simulation, time studies, and value stream mapping have long been key allies of the industrial eng...
متن کاملTowards Property Oriented Testing
Conformance testing is a kind of functional testing where a formally verified specification is considered and test cases are generated so that conclusions can be established regarding the possibility of acceptance/rejection of conforming/nonconforming implementations. If the focus is on a complete specification, test suites may be impractical and even infinite with unclear relations between tes...
متن کاملInfluence of Residual Stress on Fatigue Life of Hot Forged and Shot Blasted Steel Components
Hot forging is a common manufacturing process for the production of large quantities of engineering components. Residual stresses are developed in forged components as a result of various aspects of the manufacturing process, including subsequent cooling, and heat treatment. Residual stresses can significantly affect the deformation and fatigue failure of materials. Hot forged EN15R steel bars ...
متن کاملForged Pieces from Magnesium Alloys and Their Utilization in Automotive Industry
The paper presents an investigation on the effect of process variables and material condition on forgeability of magnesium wrought alloys of Mg-Al-Zn group, AZ31, AZ61 and AZ91. The experimental work includes studies of forging capabilities of the alloys in closed-die forging at hot and warm-working temperatures. Forging tests are performed for material both in as-cast and asworked condition, f...
متن کاملProperty Oriented Test Case Generation
In this paper we propose an approach to automatically produce test cases allowing to check the satissability of a linear property on a given implementation. Linear properties can be expressed by formulas of temporal logic. An observer is built from each formula. An observer is a nite automaton on innnite sequences. Of course, testing the satissabil-ity of an innnite sequence is not possible. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Materials Today: Proceedings
سال: 2015
ISSN: 2214-7853
DOI: 10.1016/j.matpr.2015.05.022